Automated Verification of Social Laws in Numeric Settings

faculty of psychology and social sciences group of anthropology master thesis in major of anthropology

چکیده پایان نامه (شامل خلاصه، اهداف، روش های اجرا و نتایج به دست آمده): کار جمع آوری گو یش های محلی در سال های اخیر شتاب امیدوار کننده ای به خود گرفته است. شاید از بارزترین اهداف جمع آوری گویش های مختلف، ثبت و ضبط آن، جلوگیری از نابودی و مهمتر از همه حل مشکلات دستوری زبان رسمی باشد. دقت در فرآیند های زبانی گویش های محلی نوع ارتباط مردم نواحی مختلف با پیرامون نشان را به ما نشان خواهد داد. از س...

Social Laws in Alternating Time

the role of type-d personality, social support and self-compassion in prediction of health behaviors in coronary heart disease patients

نظر به اهمیت و تاثیر روزافزون عوامل روانی – اجتماعی در سلامت جسمی و تاثیر عوامل روان شناختی در بروز بیماریهای مختلف از جمله بیماریهای قلبی و عروقی این پژوهش با هدف کلی بررسی ارتباط تیپ شخصیتی d ، حمایت اجتماعی و خود دلسوزی در پیش بینی رفتارهای بهداشتی بیماران کرونر قلبی و تعیین تفاوت بین بیماران کرونر قلبی با و بدون جراحی و افراد سالم در این متغیرها و رفتارهای بهداشتی آنان، انجام گرفت. جامعه آ...

Automated Vehicle Verification System

Objective: To Automate the system of vehicle verification on roads and to take punitive measures without human intervention. Providing the police and the government a powerful tool to keep a track of registered vehicles, their drivers and validity has been a daunting task. Manned police checkpoints are placed to establish the validity of a vehicles registration, and driver’s license. This proce...

Towards Automated Chaos Verification ∗

We describe a set of algorithms (and corresponding codes) that serve as a basis for an automated proof of existence of a certain dynamical behaviour in a given dynamical system. In particular it is in principle possible to automatically verify the presence of complicated dynamics using these tools. The Hénon map is used to illustrate these techniques.